Bool → Bool -> Bool
